Boolean model - PDFSEARCH.IO - Document Search Engine

Boolean model
Results: 352

#	Item
271	in Artificial Life VIII, Standish, Abbass, Bedau (eds)(MIT Press[removed]pp 28–32 1 Do Artificial Ants March in Step? Ordered Asynchronous Processes and Modularity in Biological Systems Add to Reading List Source URL: www.alife.org Language: English - Date: 2013-01-14 08:20:21 Science Boolean network Electrical circuits Cellular automaton Asynchrony Actor model Asynchronous system Mathematical and theoretical biology Cellular automata Synchronization Asynchronous cellular automaton
272	Analysis of HFE from a BDD point of view J.F Michon LIFAR∗ J.B. Yunes LIAFA† Add to Reading List Source URL: ccc.ustc.edu.cn Language: English - Date: 2006-10-24 07:55:03 Theoretical computer science Binary decision diagram Model checking Cryptography Boolean function Polynomial P Applied mathematics Boolean algebra Mathematics Diagrams
273	jn2004[removed]Complexity: P & NP Goals of this chapter: Given a model of computation and a measure of complexity of computations, it is possible to define the inherent complexity of a class of problems. This is a lowe Add to Reading List Source URL: www.jn.inf.ethz.ch Language: English - Date: 2004-11-18 06:12:14 Complexity classes NP-complete problems Mathematical optimization Boolean algebra NP-complete Boolean satisfiability problem P versus NP problem NP Clique problem Theoretical computer science Computational complexity theory Applied mathematics
274	Technical Communications of the International Conference on Logic Programming, 2010 (Edinburgh), pp. 34–43 http://www.floc-conference.org/ICLP-home.html COMMUNICATING ANSWER SET PROGRAMS KIM BAUTERS 1 AND JEROEN JANSSE Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2011-07-25 12:47:16 Mathematical logic Boolean algebra Stable model semantics Answer set programming Rules of inference Literal Negation Modal logic Logic programming Logic Propositional calculus
275	Weak and strong disjunction in possibilistic ASP Kim Bauters1? , Steven Schockaert1?? , Martine De Cock1 , and Dirk Vermeir2 1 Department of Applied Mathematics and Computer Science Universiteit Gent, Krijgslaan 281, 900 Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2011-06-17 07:43:23 Propositional calculus Boolean algebra Non-classical logic Philosophical logic Stable model semantics Answer set programming Modal logic Clause Negation Logic Logic programming Mathematical logic
276	Communicating ASP and the Polynomial Hierarchy Kim Bauters1, , Steven Schockaert1, , Dirk Vermeir2 , and Martine De Cock1 1 Department of Applied Mathematics and Computer Science Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2011-07-25 12:41:03 Logic programming Complexity classes Structural complexity theory Boolean algebra Stable model semantics True quantified Boolean formula Answer set programming FO Polynomial hierarchy Theoretical computer science Computational complexity theory Applied mathematics
277	A finite-valued solver for disjunctive fuzzy answer set programs Mushthofa Mushthofa 1 and Steven Schockaert 2 and Martine De Cock1 3 Abstract. Fuzzy Answer Set Programming (FASP) is a declarative programming paradigm wh Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2014-06-24 13:12:00 Logic in computer science Logic programming Boolean algebra Artificial intelligence Non-classical logic Answer set programming Stable model semantics Fuzzy logic Propositional calculus Theoretical computer science Mathematical logic Logic
278	LNCS[removed]BDD-Based Software Model Checking with <TEX>{CPAchecker}</TEX> Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 07:00:05 Binary decision diagram Model checking Computing Applied mathematics Algorithm Abstraction And-inverter graph Rabbit Model Checker Diagrams Boolean algebra Mathematics
279	LNCS[removed]Domain Types: Abstract-Domain Selection Based on Variable Usage Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-11-30 14:35:51 Data types Type theory Binary decision diagram Boolean algebra Diagrams Model checking Function Variable Type system Mathematics Mathematical logic Software engineering

UPDATE